Essentialism and the Principle of Revisability” 楊金穆,1996,行政院國家科學委員會第一期甲種獎,“Rules for Negation in Natural Deduction Systems” 楊金穆,1997,行政院國家科學委員會第一期甲種獎,〈一個投射論者的存在概念〉
www.philo.ntu.edu.tw